Functional design - PDFSEARCH.IO - Document Search Engine

Functional design
Results: 612

#	Item
561	Open Pattern Matching for C++ Yuriy Solodkyy Gabriel Dos Reis Bjarne Stroustrup Add to Reading List Source URL: www.stroustrup.com Language: English - Date: 2013-10-14 16:06:12 Functional programming C++ Software design patterns Generic programming Type theory Pattern matching Algebraic data type C++11 Template Software engineering Computing Computer programming
562	VER210_11Mar04_Corporate.book Add to Reading List Source URL: www.vsi.org Language: English - Date: 2008-07-19 13:22:26 Cadence Design Systems Model checking Specification Technology Design Management Hardware verification languages E Functional verification
563	THE JOHN ELLIPSOID THEOREM RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C[removed], USA [removed] Add to Reading List Source URL: www.math.sc.edu Language: English - Date: 2003-09-05 08:42:13 Mathematics Functional analysis John ellipsoid Ellipsoid Convex function Banach–Mazur compactum Convex hull Block design Multivariate normal distribution Geometry Mathematical analysis Convex analysis
564	medini™ analyze functional safety and reliability analysis for ISO[removed]product version 2.5 – May 2014 safety analysis and design according to ISO[removed]for software controlled safety related functions Add to Reading List Source URL: www.ikv.de Language: English - Date: 2014-05-20 06:38:14 Visual programming languages Reliability engineering Simulation software Cross-platform software Simulink Rational Rhapsody Fault tree analysis Enterprise Architect Stateflow Software Computing Systems engineering
565	r Human Brain Mapping 30:2907–[removed]r Add to Reading List Source URL: brainmap.org Language: English - Date: 2011-08-31 09:27:59 Knowledge Educational psychology Evaluation methods Research methods Design of experiments Functional magnetic resonance imaging Meta-analysis Functional neuroimaging Spatial normalization Science Statistics Neuroimaging
566	Microsoft Word - PenaltyPaper04192012 Add to Reading List Source URL: vita.mcafee.cc Language: English - Date: 2012-04-24 11:52:31 Functions and mappings Generalized functions Functional analysis Game theory Mechanism design Social choice theory Function Distribution Vector space Mathematics Algebra Mathematical analysis
567	Chambers & Associates Pty Ltd Chambers & Associates Capability Statement 1 Add to Reading List Source URL: www.chambers.com.au Language: English - Date: 2012-02-15 02:58:27 Software Systems engineering Software requirements Safety Software development process Quality assurance Requirement Design review Functional Safety Software development Technology Software engineering
568	Programming As Poetry (The Power of the Simplicity in Programming) Pavel Boytchev [removed] Abstract The paper will present the result of an attempt to design a programming language with a vary limited set Add to Reading List Source URL: elica.net Language: English - Date: 2006-10-30 16:01:27 Functional languages Data types Logo Object-oriented programming C++ classes Function Constructor Subroutine Variable Software engineering Computer programming Computing
569	The marriage of effects and monads PHILIP WADLER Avaya Labs and PETER THIEMANN Universit¨at Freiburg, Germany Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2003-10-17 05:44:14 Symbol Software engineering Computing Programming language semantics Electronic design Denotational semantics Adjoint functors Functional programming Monad
570	WCL: Delivering Ecient Common Lisp Applications under Unix Wade Hennessey Center for Design Research Stanford University [removed] Add to Reading List Source URL: pgc.com Language: English - Date: 2004-06-13 16:54:22 Lisp programming language Functional languages Common Lisp Control flow Lisp Genera Eval A Sharp GNU Debugger Computing Software Computer programming

UPDATE